University of Cambridge

Results: 5721



#Item
191

A Verified Lisp Implementation for A Verified Theorem Prover Scheme workshop 2016, Nara, Japan Magnus O. Myreen — University of Cambridge, but now at Chalmers University of Technology Jared Davis — Centaur Technology

Add to Reading List

Source URL: scheme2016.snow-fort.org

- Date: 2016-10-11 08:27:06
    192

    UNIVERSITY OF CAMBRIDGE Cambridge Working Papers in Economics

    Add to Reading List

    Source URL: www.econ.cam.ac.uk

    - Date: 2017-07-24 04:46:41
      193

      B.J.Pol.S. 37, Copyright © 2007 Cambridge University Press doi:S0000000000000000 Printed in the United Kingdom Committed To Peace: Liberal Institutions and the Termination of Rivalry BRANDON C. PRINS

      Add to Reading List

      Source URL: brandonprins.weebly.com

      - Date: 2013-08-14 18:49:01
        194

        Causal Commutative Arrows Revisited Jeremy Yallop Hai (Paul) Liu University of Cambridge

        Add to Reading List

        Source URL: www.thev.net

        - Date: 2016-09-29 13:08:21
          195

          From POPL to the Jungle and back Peter Sewell University of Cambridge PLMW: the SIGPLAN Programming Languages Mentoring Workshop San Diego, January 2014

          Add to Reading List

          Source URL: plmw2014.inria.fr

          - Date: 2014-01-27 06:28:28
            196

            SMAPs: Short Message Authentication Protocols Khaled Baqer1 , Johann Bezuidenhoudt2 , Ross Anderson1 , and Markus Kuhn1 1 Computer Laboratory, University of Cambridge, Cambridge, UK

            Add to Reading List

            Source URL: www.cl.cam.ac.uk

            - Date: 2017-08-27 10:50:50
              197

              Distributive Laws of Directed Containers [Extended Abstract] Danel Ahman1 and Tarmo Uustalu2 1 Computer Laboratory, University of Cambridge, 15 J. J. Thomson Avenue, Cambridge CB3 0FD, United Kingdom,

              Add to Reading List

              Source URL: danelahman.github.io

              - Date: 2018-03-25 20:15:13
                198

                Representation of musical notation in Haskell Edward Lilley Institute of Astronomy, University of Cambridge September 9, 2017

                Add to Reading List

                Source URL: functional-art.org

                - Date: 2018-01-20 12:19:10
                  199

                  THEMATIC TOPICS IN 2018 Volume 14, Number 1 (February) LUMINESCENCE DATING: RECONSTRUCTING EARTH’S RECENT HISTORY Guest Editors : Rachel K. Smedley (Keele University, UK) and Ann G. Wintle (University of Cambridge and

                  Add to Reading List

                  Source URL: elementsmagazine.org

                  - Date: 2018-02-03 21:19:11
                    200

                    Interoperability in a Scripted World: Putting Inheritance & Prototypes Together Kathryn E. Gray University of Cambridge

                    Add to Reading List

                    Source URL: www.cl.cam.ac.uk

                    - Date: 2012-07-16 09:41:38
                      UPDATE